Computer Science and Engineering - PDFSEARCH.IO - Document Search Engine

Computer Science and Engineering
Results: 6228

#	Item
751	CADE-18 Workshop: Problems and Problem Sets Contents: John Harrison Invited talk: Extracting Test Problems from Real Applications J Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2002-06-13 14:56:18 Automated theorem proving Theoretical computer science Mathematical logic Software engineering TPTP Automated reasoning SPASS Reasoning system Prolog Model elimination OMDoc System on TPTP
752	A 4-Geometry Maze Router and Its Application on Multiterminal Nets GENE EU JAN National Taipei University KI-YIN CHANG National Taiwan Ocean University Add to Reading List Source URL: www.ntpu.edu.tw Language: English - Date: 2005-11-20 09:42:42 Electronic design automation Theoretical computer science Mathematics Electronic engineering Edsger W. Dijkstra Design Routing algorithms Maze runner Routing Algorithm Shortest path problem Motion planning
753	Demo: RollingLight Universal Camera Communications for Single LED Hsin-Mu Tsai, Hao-Min Lin, and Hui-Yu Lee Department of Computer Science and Information Engineering National Taiwan University, Taipei, Taiwan {hsinmu,d Add to Reading List Source URL: www.csie.ntu.edu.tw Language: English - Date: 2015-03-10 11:42:38 Technology Television Terminology Television technology Digital signal processing Signal processing Frequency-shift keying FLEX Modulation NTSC Analog television Sampling
754	Special Issue on Artificial Intelligence Underpinning Comparison between Famous Game Engines and Eminent Games Prerna Mishra and Urmila Shrawankar Department of Computer Science & Engineering, RTMNU, Nagpur (MS), India Add to Reading List Source URL: www.ijimai.org Language: English - Date: 2016-06-08 09:37:42 Video cards Computing Computer hardware Graphics hardware GPGPU Parallel computing Graphics processing unit CUDA GeForce General-purpose computing on graphics processing units Nvidia OpenCL
755	Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA) Add to Reading List Source URL: www.klomp.org Language: English - Date: 2015-01-25 16:44:17 Software engineering Computer programming Programming paradigms Theoretical computer science Programming idioms Computability theory Alma-0 Backtracking Logic programming Recursion Prolog Imperative programming
756	Semantic Web Technologies to Reconcile Privacy and Context Awareness Norman M. Sadeh, Associate Professor, ISRI - School of Computer Science, CMU Abstract: Increasingly, application developers are looking for ways to pro Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2004-05-05 09:40:12 Web services Emerging technologies Knowledge engineering Semantic Web Context awareness Semantics Computing Information science Logic
757	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYFallQuiz I Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2016-01-29 11:50:05 Software engineering Computer programming Computing C++ C Data types Software bugs Pointer Struct Sizeof JavaScript Buffer overflow
758	Deceived by Ease of Use Using Paradigmatic Applications to Build Visual Design Environments Kurt Schneider, Alex ander Repenning Department of Computer Science and Center for LifeLong Learning and Design {ktschnei, ralex Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 1999-01-03 17:15:54 Computing Software engineering Software Project management Software architecture AgentSheets Cross-platform software Simulation software Software framework Application framework Software development Object Process Methodology
759	An Energy Efficient Wireless Communication Mechanism for Sensor Node Cluster Heads Edoardo Regini, Tajana Simunic Rosing Dept. of Computer Science and Engineering, University of California, San Diego La Jolla, California Add to Reading List Source URL: seelab.ucsd.edu Language: English - Date: 2012-06-04 16:50:20 Wireless networking Computing Wireless Technology Wireless ad hoc network Wireless sensor network Wireless mesh network Mesh networking Sensor node Routing Node Link-state routing protocol
760	BASIS PURSUIT IN SENSOR NETWORKS João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 1 Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, USA 2 Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2011-02-25 13:38:10 Mathematics Operations research Applied mathematics Combinatorial optimization Convex optimization Theoretical computer science Computer science A* search algorithm Algorithm NP Linear programming Belief propagation

UPDATE